On the Discovery of Mathematical Theorems
نویسنده
چکیده
The Graph Theorist, GT, is a system which performs mathematical research in graph theory. This paper focuses upon GTs ability to conjecture and prove mathematical theorems from the definitions in its input knowledge base. Each class of graphs is defined in an algebraic notation with a semantic interpretation that is a stylized algorithm to generate the class correctly and completely. From a knowledge base of such concept definitions, GT is able to conjecture and prove such theorems as "The set of acyclic, connected graphs is precisely the set of trees" and "There is no odd-regular graph on an odd number of vertices." Conjecture and proof are driven both by examples (specific graphs) and by definitional form (algorithms).
منابع مشابه
On the fixed point theorems in generalized weakly contractive mappings on partial metric spaces
In this paper, we prove a fixed point theorem for a pair of generalized weakly contractive mappings in complete partial metric spaces. The theorems presented are generalizations of very recent fixed point theorems due to Abdeljawad, Karapinar and Tas. To emphasize the very general nature of these results, we illustrate an example.
متن کاملOn Sandwich theorems for certain classes of analytic functions
The purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. Relevant connections of the results, which are presented in the paper, with various known results are also considered.
متن کاملRelative volume comparison theorems in Finsler geometry and their applications
We establish some relative volume comparison theorems for extremal volume forms of Finsler manifolds under suitable curvature bounds. As their applications, we obtain some results on curvature and topology of Finsler manifolds. Our results remove the usual assumption on S-curvature that is needed in the literature.
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کاملOn fixed point theorems in fuzzy metric spaces using a control function
In this paper, we generalize Fuzzy Banach contraction theorem establishedby V. Gregori and A. Sapena [Fuzzy Sets and Systems 125 (2002) 245-252]using notion of altering distance which was initiated by Khan et al. [Bull. Austral.Math. Soc., 30(1984), 1-9] in metric spaces.
متن کاملOn category of co-coverings
In this article, we introduce the concept of co-covering which is the dual of covering concept. Then, we prove several theorems being similar to the theorems that have been de-veloped for the covering concept. For example, we provide the lifting criterion for co-coverings of a topological space X, which helps us to classify them by subgroups of the group of all homeomorphisms of X.
متن کامل